Run-time monitoring of real-time systems
نویسندگان
چکیده
This paper presents a model and an implementation of a run-time environment for specifying and monitoringproperties of real-time systems. Theproposed approach supports annotating real-time programs with events that are recorded and examined at run-time. It provides two general methods for synchronous or asynchronous monitoring o f realtime constraints. In the synchronous case, a system constraint is embedded inside a program; thus the constraint is examined at a particular point in the execution of a real-time task. In the asynchronous case, a constraint is monitored by a separate task during the entire execution of real-time tasks.
منابع مشابه
Detecting and counting vehicles using adaptive background subtraction and morphological operators in real time systems
vehicle detection and classification of vehicles play an important role in decision making for the purpose of traffic control and management.this paper presents novel approach of automating detecting and counting vehicles for traffic monitoring through the usage of background subtraction and morphological operators. We present adaptive background subtraction that is compatible with weather and ...
متن کاملReal-time acoustic tomography system and the experience of Caspian current sea monitoring
The Acoustic Tomography (AT) systems are used to monitor long-term and continuous flow in rivers, seas and oceans. One of the disadvantages of existing systems in Iran is the inability of real-time/automated measurements. In this study, by adding a raspberry Pi computer to the system and performing the required programming, it was possible to do online monitoring. The data are transferred to th...
متن کاملWater exploitation of Karoon River for fish culturing through monitoring and simulation systems
Heavy metal pollution dispersion simulation in rivers and predicting spatial and temporal variations of pollutants can be used to determine the precise place and to schedule water withdrawal time for drinking, agriculture, aquaculture and ecosystem studies. To study the movement of heavy metal pollution through Karoon flow model, MIKE 11 was employed fpr simulation of the flow model of Karoon R...
متن کاملFeasibility Study of Real-time and Automated Monitoring of Iranian Rivers using 50-kHz Fluvial Acoustic Tomography System
Acoustic Tomography (AT) technique is an innovative method for real-time river monitoring. In this study, not only the accuracy of flow velocity measurement using 50 kHz AT system which is appropriate for narrow rivers (most Iranian rivers) is evaluated, but also its performance is compared with 30 kHz one which is used in wide rivers. The comparison results showed that the velocity resolutions...
متن کاملReal-time Scheduling of a Flexible Manufacturing System using a Two-phase Machine Learning Algorithm
The static and analytic scheduling approach is very difficult to follow and is not always applicable in real-time. Most of the scheduling algorithms are designed to be established in offline environment. However, we are challenged with three characteristics in real cases: First, problem data of jobs are not known in advance. Second, most of the shop’s parameters tend to be stochastic. Third, th...
متن کاملChapter 18 Run-time Monitoring of Real-time Systems 18.1 Introduction
This chapter presents a framework for formal speciication and monitoring of run-time constraints in real-time systems. As embedded real-time systems become more sophisticated, the ability of a system to provide dependable and timely service becomes critical. The unpredictability of the physical environment and the inability to satisfy design assumptions due to the inherent complexity of embedde...
متن کامل